@i state ds == x:Id. vartype(i;x)  ds(x)?Top 

latex

---

clarification:

es-state-type(es;i;ds) == x:Id. es-vartype(es; i; x)  fpf-cap(ds;IdDeq;x;Top) 

latex

Definitions	x:A. B(x), Id, vartype(i;x), f(x)?z, IdDeq, Top
FDL editor aliases	es-state-type